https://ketabnak.com/book/79481/Language-Proof-and-Logic-2nd-Edition